Cubical Agda
#Fleeting_Notes
Cubical Agda
Cubical Type Theory
を
Agda
で実装したもの
Cubical agda: a dependently typed programming language with univalence and higher inductive types
. 2019-07-26
確認用
Q. Cubical Agda
メモ
Cubical Agda: a cold Introduction – Nextjournal
Probability Monads in Cubical Agda - Donnacha Oisín Kidney
調査用
Google.icon
Cubical Agda(日)
Google.icon
Cubical agda(英)
Wikipedia.icon
Cubical Agda - Wikipedia(日)
Cubical Agda(検索) - Wikipedia(日)
Wikipedia.icon
Cubical agda - Wikipedia(英)
Cubical agda(検索) - Wikipedia(英)